Max Planck

Results: 3130



#Item
191The Virtual Laboratory Max-Planck-Institute for the History of Science, Berlin <http://vlp.mpiwg-berlin.mpg.de/> Reichert, C. n.d. Catalogue F7: Microscopes et appareils auxiliaires. Vienne (Autriche) (Collection Paolo B

The Virtual Laboratory Max-Planck-Institute for the History of Science, Berlin Reichert, C. n.d. Catalogue F7: Microscopes et appareils auxiliaires. Vienne (Autriche) (Collection Paolo B

Add to Reading List

Source URL: allinbox.free.fr

- Date: 2005-02-09 10:01:08
    192Introduction to Abstract Interpretation Bruno Blanchet D´epartement d’Informatique ´ Ecole Normale Sup´erieure, Paris and Max-Planck-Institut f¨

    Introduction to Abstract Interpretation Bruno Blanchet D´epartement d’Informatique ´ Ecole Normale Sup´erieure, Paris and Max-Planck-Institut f¨

    Add to Reading List

    Source URL: www.cs.tau.ac.il

    - Date: 2015-01-20 02:47:35
      193Popular Ranking Anke van Zuylen a Frans Schalekamp b David P. Williamson c,1 a Max-Planck-Institut f¨ ur Informatik, Saarbr¨

      Popular Ranking Anke van Zuylen a Frans Schalekamp b David P. Williamson c,1 a Max-Planck-Institut f¨ ur Informatik, Saarbr¨

      Add to Reading List

      Source URL: arvanzuijlen.people.wm.edu

      - Date: 2011-05-03 05:35:16
        194Verfilmte mittelalterliche Handschriften in der Bibliothek des MPIeR Die Sammlung Die Bibliothek des Max-Planck-Instituts für europäische Rechtsgeschichte besitzt eine umfangreiche Sammlung verfilmter mittelalterlicher

        Verfilmte mittelalterliche Handschriften in der Bibliothek des MPIeR Die Sammlung Die Bibliothek des Max-Planck-Instituts für europäische Rechtsgeschichte besitzt eine umfangreiche Sammlung verfilmter mittelalterlicher

        Add to Reading List

        Source URL: data.rg.mpg.de

        - Date: 2008-02-18 05:58:05
          195An improved monotone algorithm for scheduling related machines with precedence constraints Anke van Zuylen∗ Max Planck Institute for Informatics, Saarbr¨ ucken, Germany

          An improved monotone algorithm for scheduling related machines with precedence constraints Anke van Zuylen∗ Max Planck Institute for Informatics, Saarbr¨ ucken, Germany

          Add to Reading List

          Source URL: arvanzuijlen.people.wm.edu

          - Date: 2011-07-28 05:32:53
            196Iris: Monoids and Invariants as an Orthogonal Basis for Concurrent Reasoning Ralf Jung, David Swasey, Filip Sieczkowski, Kasper Svendsen, Aaron Turon, Lars Birkedal, Derek Dreyer Max Planck Institute for Software Systems

            Iris: Monoids and Invariants as an Orthogonal Basis for Concurrent Reasoning Ralf Jung, David Swasey, Filip Sieczkowski, Kasper Svendsen, Aaron Turon, Lars Birkedal, Derek Dreyer Max Planck Institute for Software Systems

            Add to Reading List

            Source URL: people.mpi-sws.org

            - Date: 2015-09-30 05:51:35
              197On local reasoning in verification Carsten Ihlemann, Swen Jacobs, Viorica Sofronie-Stokkermans Max-Planck-Institut f¨ ur Informatik, Campus E1 4, Saarbr¨ ucken, Germany e-mail: {ihlemann,sjacobs,sofronie}@mpi-inf.mpg.d

              On local reasoning in verification Carsten Ihlemann, Swen Jacobs, Viorica Sofronie-Stokkermans Max-Planck-Institut f¨ ur Informatik, Campus E1 4, Saarbr¨ ucken, Germany e-mail: {ihlemann,sjacobs,sofronie}@mpi-inf.mpg.d

              Add to Reading List

              Source URL: www.swenjacobs.com

              - Date: 2013-01-31 09:32:34
                198A Study of the Internal and External Effects of Concurrency Bugs Pedro Fonseca, Cheng Li, Vishal Singhal∗, and Rodrigo Rodrigues Max Planck Institute for Software Systems (MPI-SWS) Abstract Concurrent programming is in

                A Study of the Internal and External Effects of Concurrency Bugs Pedro Fonseca, Cheng Li, Vishal Singhal∗, and Rodrigo Rodrigues Max Planck Institute for Software Systems (MPI-SWS) Abstract Concurrent programming is in

                Add to Reading List

                Source URL: concurrency.mpi-sws.org

                - Date: 2010-04-16 08:26:24
                  199Workshop on the Feasibility of a Web-based Database of the Syntactic Structures of the World’s Languages Peter Cole November 9, 2007 Max Planck Institute for Evolutionary Anthropology

                  Workshop on the Feasibility of a Web-based Database of the Syntactic Structures of the World’s Languages Peter Cole November 9, 2007 Max Planck Institute for Evolutionary Anthropology

                  Add to Reading List

                  Source URL: linguistics.as.nyu.edu

                  - Date: 2009-08-25 12:37:44
                    200University of Cologne Max Planck Society Collaborative Research Centre 1218 Mitochondrial regulation of cellular function

                    University of Cologne Max Planck Society Collaborative Research Centre 1218 Mitochondrial regulation of cellular function

                    Add to Reading List

                    Source URL: sfb1218.uni-koeln.de

                    - Date: 2016-06-28 09:10:01